Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Claude Kirchner »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Claude Jard < Claude Kirchner < Claude Laurenco  Facettes :

List of bibliographic references indexed by Claude Kirchner

Number of relevant bibliographic references: 235.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
004865 (2007-06-21) Paul Brauner [France] ; Clément Houtmann [France] ; Claude Kirchner [France]Superdeduction at work
004898 (2007-06-04) Guillaume Burel [France] ; Claude Kirchner [France]Cut Elimination in Deduction Modulo by Abstract Completion
004A76 (2007) Paolo Baldan [Italie] ; Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]A rewriting calculus for cyclic higher-order term graphs
004A79 (2007) Horatiu Cirstea [France] ; Germain Faure [France] ; Claude Kirchner [France]A Rho-Calculus of explicit constraint application
004B67 (2007) Clara Bertolissi [France] ; Claude Kirchner [France]The Rewriting Calculus as a Combinatory Reduction System
004B77 (2007) Paul Brauner ; Clément Houtmann ; Claude KirchnerSuperdeduction at Work
004C25 (2007) Daniel J. Dougherty ; Claude Kirchner ; Hélène Kirchner ; Anderson Santana De OliveiraModular Access Control Via Strategic Rewriting
004D06 (2007) Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France]Anti-pattern Matching
004E91 (2007) Claude Kirchner [France] ; Radu Kopetz [France] ; Pierre-Etienne Moreau [France]Anti-Pattern Matching Modulo
005075 (2006-07-05) Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France]Formal Islands
005103 (2006-06) Guillaume Burel [France] ; Claude Kirchner [France]Completion is an Instance of Abstract Canonical System Inference
005157 (2006-04-02) Olivier Bournez [France] ; Florent Garnier [France] ; Claude Kirchner [France]Termination in finite mean time of a CSMA/CA rule-based model
005172 (2006-03-28) Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France] ; Anderson Santana De Oliveira [France]Modular Formal Islands: Embed theory in your practice
005206 (2006-01-28) Horatiu Cirstea [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France]Decidable Type Inference for the Polymorphic Rewriting Calculus
005254 (2006) Horatiu Cirstea [France] ; Clara Bertolissi [France] ; Claude Kirchner [France]Expressing Combinatory Reduction Systems Derivations in the Rewriting Calculus
005425 (2006) Frédéric Blanqui ; Claude Kirchner ; Colin RibaOn the Confluence of λ -Calculus with Conditional Rewriting
005479 (2006) Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France]Formal Islands
005602 (2006) Emilie Balland [France] ; Claude Kirchner [France] ; Pierre-Etienne Moreau [France]Formal islands
005605 (2006) Clara Bertolissi [France] ; Horatiu Cirstea [France] ; Claude Kirchner [France]Expressing combinatory reduction systems derivations in the rewriting calculus
005618 (2006) Guillaume Burel [France] ; Claude Kirchner [France]Completion Is an Instance of Abstract Canonical System Inference
005623 (2006) Nachum Dershowitz [Israël] ; Claude Kirchner [France]Abstract canonical presentations

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Claude Kirchner" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Claude Kirchner" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Claude Kirchner
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022